F IE on Firmware: Finding Vulnerabilities in Embedded Systems using Symbolic Execution Drew Davidson Benjamin Moench Somesh Jha Thomas Ristenpart

Source URL: rist.tech.cornell.edu

Automatically Generating Malicious Disks using Symbolic Execution Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar and Dawson Engler Stanford University Computer Systems Laboratory {junfeng,csar,twohey,cristic,engler}@

Source URL: www.doc.ic.ac.uk

Quantification of Software Changes through Probabilistic Symbolic Execution Antonio Filieri1 , Corina S. Păsăreanu2 , and Guowei Yang3 1 2 3

Source URL: snapl.org

Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts Tom Bergan Dan Grossman

Source URL: homes.cs.washington.edu

• Abstract interpretation
• Symbolic execution
• Pointer
• Software engineering
• KeY
• Stack
• Static single assignment form
• Formal methods
• Data types
• Computing

FiE on Firmware Finding Vulnerabilities in Embedded Systems using Symbolic Execution Drew Davidson Ben Moench Somesh Jha

Source URL: wisdom.cs.wisc.edu

F IE on Firmware: Finding Vulnerabilities in Embedded Systems using Symbolic Execution Drew Davidson Benjamin Moench Somesh Jha Thomas Ristenpart

Source URL: pages.cs.wisc.edu

All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution

Source URL: oakland10.cs.virginia.edu

Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences

Source URL: www.cs.berkeley.edu

• Declarative programming
• Satisfiability Modulo Theories
• Type system
• Prolog
• Symbolic execution
• Linear programming
• Theoretical computer science
• Software engineering
• Constraint programming

Test Generation through Programming in UDITA

Source URL: lara.epfl.ch

• Software testing
• Java Pathfinder
• Concolic testing
• Unit testing
• KeY
• Symbolic execution
• Null Object pattern
• D
• Test automation
• Computing
• Software engineering
• Computer programming

SherLog: Error Diagnosis by Connecting Clues from Run-time Logs Ding Yuan Haohui Mai

Source URL: opera.ucsd.edu

• Information retrieval
• Log analysis
• Type system
• Find
• Symbolic execution
• Computing
• Type theory
• Information science